export { default } from './NormalForm';